Search Results

[POPL 2021] CoqPL: A Limited Case for Reification by Type Inference

[POPL 2021] CoqPL: A Limited Case for Reification by Type Inference

[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq

[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq

[POPL 2021] CoqPL: Verifying a compiler through equational means

[POPL 2021] CoqPL: Verifying a compiler through equational means

[POPL 2021] CoqPL: Session with the Coq Development Team

[POPL 2021] CoqPL: Session with the Coq Development Team

[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls

[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls

[POPL 2021] CoqPL: Verification of Algorithm and Code Generation for Signal Transforms

[POPL 2021] CoqPL: Verification of Algorithm and Code Generation for Signal Transforms

Implementing a Capability Machine Model into Iris

Implementing a Capability Machine Model into Iris

Jason Gross: Performance Engineering of Proof-Based Software Systems at Scale

Jason Gross: Performance Engineering of Proof-Based Software Systems at Scale

POPL Week Two Season One

POPL Week Two Season One

Clément Pit-Claudel: Extensible Extraction of Efficient Imperative Programs with Foreign … (IJCAR B)

Clément Pit-Claudel: Extensible Extraction of Efficient Imperative Programs with Foreign … (IJCAR B)